Results for 'Paulo K. Monteiro'

1000+ found
Order:
  1.  60
    Sequential asymmetric auctions with endogenous participation.Flavio M. Menezes & Paulo K. Monteiro - 1997 - Theory and Decision 43 (2):187-202.
    In this paper we suggest a model of sequential auctions with endogenous participation where each bidder conjectures about the number of participants at each round. Then, after learning his value, each bidder decides whether or not to participate in the auction. In the calculation of his expected value, each bidder uses his conjectures about the number of participants for each possible subgroup. In equilibrium, the conjectured probability is compatible with the probability of staying in the auction. In our model, players (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  2.  10
    Realidade e cognição.João Paulo Monteiro - 2004 - Lisboa: Imprensa Nacional-Casa da Moeda.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  9
    Hume e a epistemologia.João Paulo Monteiro - 1984 - [Lisbon, Portugal]: Impr. Nacional-Casa da Moeda.
    O caráter polêmico e a relevância da obra de David Hume são indisputáveis. Neste livro, discute-se a visão do filósofo sobre a teoria do conhecimento e da ciência, além de tópicos mais particulares, mas nem por isso menos cruciais, como sua crítica ao finalismo, sua relevância para a leitura de Freud e a tese humeana, retomada por Quine, da continuidade entre conhecimento comum e teórico.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  4.  5
    Os outros da arte.Paulo Filipe Monteiro - 1996 - Oeiras: Celta Editora.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  45
    Hume: três problemas centrais.João Paulo Monteiro - 2004 - Doispontos 1 (2).
    O objetivo deste artigo é discutir três problemas centrais na filosofia de David Hume. O primeiro é o do papel da associação de idéias: no Tratado há dois conceitos distintos dessa associação, falha corrigida na primeira Investigação, em que é eliminado o conceito de “associação costumeira” e não se atribui à associação qualquer papel na formação de inferências causais. O segundo diz respeito ao verdadeiro papel da indução. A filosofia humeana trata da descoberta dos poderes causais dos objetos, sem nunca (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6. Hume: três problemas centrais.João Paulo Monteiro - 2004 - Dois Pontos 1 (2).
    O objetivo deste artigo é discutir três problemas centrais na filosofia de David Hume. O primeiro é o do papel da associação de idéias: no Tratado há dois conceitos distintos dessa associação, falha corrigida na primeira Investigação, em que é eliminado o conceito de “associação costumeira” e não se atribui à associação qualquer papel na formação de inferências causais. O segundo diz respeito ao verdadeiro papel da indução. A filosofia humeana trata da descoberta dos poderes causais dos objetos, sem nunca (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  12
    Conhecimento tradicional Kaingang: o uso de ervas medicinais.Jéssica Gaudêncio, Sérgio Paulo Jorge Rodrigues, Décio Ruivo Martins & Rosemari Monteiro Castilho Foggiatto Silveira - 2021 - Odeere 6 (2):35-53.
    O povo Kaingang é o mais populoso do Sul do Brasil e está entre os mais numerosos povos indígenas do país. Neste trabalho faz-se uma relação entre as informações encontradas na literatura e a atualidade na Terra Indígena Kaingang em relação ao conhecimento que possuem sobre o uso de plantas para a cura de doenças e como interpretam a ação da erva no organismo. Para isto, realizou-se uma pesquisa de campo em uma Terra Indígena Kaingang no Paraná, cujo entrevistas forneceram (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  70
    Hume's conception of science.João Paulo Monteiro - 1981 - Journal of the History of Philosophy 19 (3):327-342.
  9. Hume on singular experiences.João Paulo Monteiro - 1987 - Manuscrito 20 (2):123-144.
  10.  28
    Russell and Humean Inferences.João Paulo Monteiro - 2001 - Principia: An International Journal of Epistemology 5 (1-2):55-72.
    Russell's The Problems of Philosophy tries to establish a new theory of induction, at the same time that Hume is there accused of an irrational/ scepticism about induction". But a careful analysis of the theory of knowledge explicitly acknowledged by Hume reveals that, contrary to the standard interpretation in the XXth century, possibly influenced by Russell, Hume deals exclusively with causal inference (which he never classifies as "causal induction", although now we are entitled to do so), never with inductive inference (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  13
    A DIGNIDADE HUMANA A PARTIR DE UMA ÉTICA DO TESTEMUNHO: Entre a desumanização, o relato e a corporeidade.Paulo Henrique Araújo da Silva & Saulo Monteiro Martinho de Matos - 2024 - Complexitas – Revista de Filosofia Temática 8 (2).
    A partir de uma pesquisa bibliográfica de caráter qualitativo, este artigo busca identificar o potencial do relato de reformular a teoria moral da dignidade humana, tornando a normatividade dela decorrente sensível às peculiaridades das minorias sociais. Este trabalho, dentre várias outras produções, tem como referencial teórico principal a obra Torture and Dignity: An Essay on Moral Injury (2015), de Jay Bernstein, além de utilizar, para fins de compreensão do caráter intergeracional do relato, o livro O que os cegos estão sonhando? (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. Hume, Association, and Causal Belief.João Paulo Monteiro - 2007 - Abstracta 3 (2):107-122.
    The associationist interpretation of Hume's account of causal belief is criticized. The origin of this mistaken interpretation is explained. The difference between Hume's views in the Treatise of Human Nature and in An Enquiry concerning Human Understanding is examined.
     
    Export citation  
     
    Bookmark   1 citation  
  13.  30
    Corpo e consciência.João Paulo Monteiro - 2003 - Discurso 33:89-104.
    Diversos argumentos de Bergson. Frege, Sellars. Quinc e outros filósofos podem servir como quadro de referência para uma concepção parcimoniosa da consciência, como disposição de nosso organismo para apreender seus próprios estados. O conhecimento do ambiente em nosso redor e da maior parte dos aspectos do próprio corpo é adquirido indiretamente por essas apreensões, cujo exemplo paradigmático poderia ser a idéia bergsoniana da captação direta da realidade de nosso corpo. Desta perspectiva, o espírito ou mente pode ser concebido como “consciência (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  14.  44
    Dutra, Hume e Goodman.João Paulo Monteiro - 1997 - Principia: An International Journal of Epistemology 1 (2):291–296.
  15.  10
    Discurso Teórico e Discurso Retórico.João Paulo Monteiro - 1973 - Discurso 4 (4):79-94.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16. Estado e Ideologia em Thomas Hobbes.Joao Paulo Monteiro - 1980 - Revista Latinoamericana de Filosofia 6 (1):37.
     
    Export citation  
     
    Bookmark  
  17.  15
    Filosofia e censura no século XVIII: o caso Hume.João Paulo Monteiro - 1979 - Discurso 11:41-54.
  18.  20
    Hume: a ciência do homem.João Paulo Monteiro - 2016 - Discurso 46 (1):39-46.
  19.  63
    Hume’s Empiricism and the Rationality of Induction.João Paulo Monteiro - 2000 - The Proceedings of the Twentieth World Congress of Philosophy 7:139-149.
    Radical skepticism, irrationalism, psychologism, and epistemological despair are popular interpretations of Hume. The theory of causal inference has been supposed to stand at the very heart of Humean skepticism, mainly because of its ‘associationism’. However, the myth of a skeptical Hume—more radical than he really is in his own admitted ‘mitigated skepticism’—has been discredited in recent years. Hume certainly was an associationist about the passions, and moral sentiments, and the rules of justice in society, and many other aspects of human (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  46
    Hume e a Experiência Singular.João Paulo Monteiro - 1994 - Discurso 23:7-24.
    Hume é conhecido por sua teoria da indução por repetição, mas em sua filosofia há lugar para inferências derivadas de experiências singulares. Parte do fundamento destas inferências depende de uma regra newtoniana, mas é preciso acrescentar a especificação do tipo de classe de objetos a que pertencem tanto a causa como o efeito – de um modo que pode esclarecer a exata natureza do “empirismo” humiano.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  21.  45
    Hume e a trivial diferença.João Paulo Monteiro - 2001 - Discurso 32:31-48.
    A desigualdade da condição feminina tem como ponto central na análise de Hume a diferença nas atitudes da sociedade perante o dever de castidade. Esta é explicada – pela incerteza da paternidade e suas consequências -, mas nem por isso justificada. Hume aponta também outras desigualdades derivadas de privilégios masculinos injustificáveis. Como no caso das linhagem de nobreza e sobretudo no caso dos fenômenos de sujeição das mulheres pelos homens, que compara aos fenômenos históricos de opressão étnica.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  22. Indução e seleção natural.João Paulo Monteiro - 1976 - Revista Latinoamericana de Filosofia 2 (3):243.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  23.  18
    Kant leitor de Hume, ou o "bastardo da imaginação".João Paulo Monteiro - 1983 - Discurso 14:145-158.
  24. La distinción marxista entre ciencia e ideología.Joao Paulo Monteiro - 1976 - Dianoia 22 (22):76.
    No categories
     
    Export citation  
     
    Bookmark  
  25. Laboratórios de pesquisa E prática pedagógica: A experiência do curso de licenciaturas em ciências sociais.José Marciano Monteiro, Paulo Cesar Oliveira Diniz Cezar Oliveira Diniz & Valdonilson Barbosa dos Santos - 2014 - Saberes Em Perspectiva 4 (8):74-91.
    A presente proposta tem por objetivo refletir sobre a experiência didático­ pedagógica dos Laboratórios de Pesquisa e Prática de Ensino em Ciências Sociais – LAPPCS, componente curricular necessário à formação de professores de sociologia para o ensino médio, do Curso de Licenciatura em Ciências Sociais, do Centro de Desenvolvimento Sustentável do Semiárido – CDSA/UFCG. Os LAPPCS podem ser caracterizados como espaços de análise crítico­reflexivo das escolas de Ensino Médio, predominantemente, em suas dimensões organizacional, pedagógica e cultural, nos quais se analisa (...)
     
    Export citation  
     
    Bookmark  
  26.  40
    Mundo e causação.Jão Paulo Monteiro - 2007 - Principia: An International Journal of Epistemology 11 (1):63-76.
    We cannot assert the existence of a real world subsisting in and by itself, independently of our cognitive construction. There are several contemporary variants of the Kantian negation of the possibility to know things as they are in themselves. We are unable to apprehend the world as it is, for the world is a construction by the knowing subject, not a set of autonomous objects. But at least one aspect of the causal properties of objects cannot be viewed in terms (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  27.  16
    Novos estudos humeanos.João Paulo Monteiro - 2003 - Lisboa: Imprensa Nacional-Casa da Moeda. Edited by Maria Pinto Correia.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  28. Perspectivismo mitigado.João Paulo Monteiro - 1993 - Philosophica 2:11-20.
    No categories
     
    Export citation  
     
    Bookmark  
  29.  6
    Perspectivismo Mitigado.João Paulo Monteiro - 1993 - Philosophica: International Journal for the History of Philosophy 1 (2):11-20.
    A coherent perspectivism should be moderate - or mitigated. It only becomes meaningful against a transperspective background, which is part of both Hume's and Nietzsche's legacies, a "minimalist" conception of causation. Metaphysical necessity must be excluded, but not a naturalistic, Humean harmony between causal thinking and the real world. One without which even Nietzsche's "mistakes with survival value" would hardly make any sense. It is thus that a plausible perspectivism may distinguish itself from mere rhetoric, scepticism, or relativism.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30. Realismo sem'ntico E consciência do momento.João Paulo Monteiro - 2005 - Philosophica 25:31-42.
    No categories
     
    Export citation  
     
    Bookmark  
  31.  9
    Realismo Sem'ntico e Consciência do Momento.João Paulo Monteiro - 2005 - Philosophica: International Journal for the History of Philosophy 13 (25):31-42.
    An article by Moulines presents an interesting argument against semantic realism, using Calderôn’s play La Vida en Sueño as a literary device to develop his point. He introduces in the play a new character, a realist philosopher who tries to persuade Prince Segismund to abandon the anti-realist position he maintains, after the experience he undergoes in the play. I introduce a second imaginary realist, who argues for conjectural realism instead of the semantic variety, by means of several sceptical arguments intended (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32. Realismo y aprehensibilidad.Joao Paulo Monteiro - 1994 - Dianoia 40 (40):3.
    No categories
     
    Export citation  
     
    Bookmark  
  33.  37
    Solipsismo e conjecturalidade.João Paulo Monteiro - 2005 - Discurso 35:217-238.
    Como o solipsismo metodológico, recusando tanto o "pós-modernismo relativista", o "neo-iluminismo" e qualquer espécie de fundacionismo, pode estabelecer um núcleo de verdades imunes ao ceticismo radical? A supra-conjecturalidade deste solipsismo é o expediente metodológico que baliza as escolhas neste âmbito mais amplo que é o da conjecturalidade. Se neste território a falibilidade é sempre possível, também é nele que se encontra a única racionalidade que somos capazes de constituir. E também as melhores teorias capazes de dar conta de nossas experiências.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  34.  10
    Tendência e realidade em Hume e Freud.João Paulo Monteiro - 1973 - Discurso 3 (3):141-154.
  35. Teoria, retórica, ideologia.João Paulo Monteiro - 1975 - S[ão] Paulo: Editora Ática.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  36. Citizen sensing - development of a participatory risk management system.Asma Mehan, Paula Gonçalves, Ana Monteiro, Paulo Conceição & Sara Cruz - 2019 - 12th CITTA International Conference on Planning Research.
    Climate change exposes ecological and socio-economic systems to risks. The identified disparities in knowledge about the social climate system are at the root of the difficulties in perceiving and understanding the diversity of risks related to climate change. The still huge gap between what science and technological innovation can contribute to mitigation and what is unmanageable by humans inevitably requires a continuous process of adaptation. This work is part of the research associated with the European project (under the ERA4CS) 'Citizen (...)
     
    Export citation  
     
    Bookmark  
  37.  18
    Children's Attributions of Beliefs to Humans and God: Cross-cultural Evidence.K. Mitch Hodge & Paulo Sousa - 2018 - In Jason Slone (ed.), Empirical Studies in the Cognitive Science of Religion. London, UK: pp. Chapter 4.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38. A indevida criminalização da moralidade:O crime de casa de prostituição sob O prisma do paternalismo penal.Alan Monteiro de Medeiros & Paulo Vítor Avelino Silva Barros - 2014 - Revista Fides 5 (2).
    A INDEVIDA CRIMINALIZAÇÃO DA MORALIDADE:O CRIME DE CASA DE PROSTITUIÇÃO SOB O PRISMA DO PATERNALISMO PENAL.
    No categories
     
    Export citation  
     
    Bookmark  
  39.  10
    Grammar-based connectionist approaches to language-A connectionist representation of rule, variables, and dynamic bindings using temporal synchrony.P. K. Monteiro, M. R. Pascoa & P. Smolensky - 1999 - Cognitive Science 23 (4):589-613.
  40. Fernando Salmerón: La filosofía y las actitudes morales. [REVIEW]Joao Paulo Monteiro - 1977 - Revista Latinoamericana de Filosofia 3 (1):108.
    No categories
     
    Export citation  
     
    Bookmark  
  41.  13
    Entrevista Com Professoras(Es) de Filosofia Do Ensino Fundamental Do Ceará.Jocilaine Moreira Batista do Vale, Mario Jonny de Castro Cunha, Syssa Adley Rodrigues Monteiro, Fabiana Martins Tôrres, Antônio Alex Pereira de Sousa & Paulo Willame Araújo de Lima - 2023 - Revista Dialectus 29 (29):348-359.
    ENTREVISTA COM PROFESSORAS(ES) DE FILOSOFIA DO ENSINO FUNDAMENTAL DO CEARÁCom: Jocilaine Moreira Batista do Vale, Mario Jonny de Castro Cunha, Syssa AdleyRodrigues Monteiro, Fabiana Martins TôrresPor: Antônio Alex Pereira de Sousa, Paulo Willame Araújo de Lim.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  16
    The Adventures of Amaru: Integrating Learning Tasks Into a Digital Game for Teaching Children in Early Phases of Literacy.Gilberto Nerino de Souza, Yvan Pereira dos Santos Brito, Myenne Mieko Ayres Tsutsumi, Leonardo Brandão Marques, Paulo Roney Kilpp Goulart, Dionne Cavalcante Monteiro & Ádamo Lima de Santana - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  27
    Reduced Discrimination in the Tritanopic Confusion Line for Congenital Color Deficiency Adults.Marcelo F. Costa, Paulo R. K. Goulart, Mirella T. S. Barboni & Dora F. Ventura - 2016 - Frontiers in Psychology 7.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  44. EU-INCO water research from FP4 to FP6 (1994–2006).D. Gyawali, J. A. Allan, P. Antunes, B. A. Dudeen, P. Laureano, C. Luiselli Fernández, P. M. Scheel Monteiro, H. K. Nguyen, P. Novácek & C. Pahl-Wostl - forthcoming - A Critical Review.
    No categories
     
    Export citation  
     
    Bookmark  
  45.  54
    Proceedings of the 4th World Conference on Research Integrity: Brazil, Rio de Janeiro. 31 May - 3 June 2015.Lex Bouter, Melissa S. Anderson, Ana Marusic, Sabine Kleinert, Susan Zimmerman, Paulo S. L. Beirão, Laura Beranzoli, Giuseppe Di Capua, Silvia Peppoloni, Maria Betânia de Freitas Marques, Adriana Sousa, Claudia Rech, Torunn Ellefsen, Adele Flakke Johannessen, Jacob Holen, Raymond Tait, Jillon Van der Wall, John Chibnall, James M. DuBois, Farida Lada, Jigisha Patel, Stephanie Harriman, Leila Posenato Garcia, Adriana Nascimento Sousa, Cláudia Maria Correia Borges Rech, Oliveira Patrocínio, Raphaela Dias Fernandes, Laressa Lima Amâncio, Anja Gillis, David Gallacher, David Malwitz, Tom Lavrijssen, Mariusz Lubomirski, Malini Dasgupta, Katie Speanburg, Elizabeth C. Moylan, Maria K. Kowalczuk, Nikolas Offenhauser, Markus Feufel, Niklas Keller, Volker Bähr, Diego Oliveira Guedes, Douglas Leonardo Gomes Filho, Vincent Larivière, Rodrigo Costas, Daniele Fanelli, Mark William Neff, Aline Carolina de Oliveira Machado Prata, Limbanazo Matandika, Sonia Maria Ramos de Vasconcelos & Karina de A. Rocha - 2016 - Research Integrity and Peer Review 1 (Suppl 1).
    Table of contentsI1 Proceedings of the 4th World Conference on Research IntegrityConcurrent Sessions:1. Countries' systems and policies to foster research integrityCS01.1 Second time around: Implementing and embedding a review of responsible conduct of research policy and practice in an Australian research-intensive universitySusan Patricia O'BrienCS01.2 Measures to promote research integrity in a university: the case of an Asian universityDanny Chan, Frederick Leung2. Examples of research integrity education programmes in different countriesCS02.1 Development of a state-run “cyber education program of research ethics” in (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  20
    When One Health Meets the United Nations Ocean Decade: Global Agendas as a Pathway to Promote Collaborative Interdisciplinary Research on Human-Nature Relationships.Patricia Masterson-Algar, Stuart R. Jenkins, Gill Windle, Elisabeth Morris-Webb, Camila K. Takahashi, Trys Burke, Isabel Rosa, Aline S. Martinez, Emanuela B. Torres-Mattos, Renzo Taddei, Val Morrison, Paula Kasten, Lucy Bryning, Nara R. Cruz de Oliveira, Leandra R. Gonçalves, Martin W. Skov, Ceri Beynon-Davies, Janaina Bumbeer, Paulo H. N. Saldiva, Eliseth Leão & Ronaldo A. Christofoletti - 2022 - Frontiers in Psychology 13.
    Strong evidence shows that exposure and engagement with the natural world not only improve human wellbeing but can also help promote environmentally friendly behaviors. Human-nature relationships are at the heart of global agendas promoted by international organizations including the World Health Organization’s “One Health” and the United Nations “Ocean Decade.” These agendas demand collaborative multisector interdisciplinary efforts at local, national, and global levels. However, while global agendas highlight global goals for a sustainable world, developing science that directly addresses these agendas (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  11
    Multi-Sensor Wearable Health Device Framework for Real-Time Monitoring of Elderly Patients Using a Mobile Application and High-Resolution Parameter Estimation.Gabriel P. M. Pinheiro, Ricardo K. Miranda, Bruno J. G. Praciano, Giovanni A. Santos, Fábio L. L. Mendonça, Elnaz Javidi, João Paulo Javidi da Costa & Rafael T. de Sousa - 2022 - Frontiers in Human Neuroscience 15.
    Automatized scalable healthcare support solutions allow real-time 24/7 health monitoring of patients, prioritizing medical treatment according to health conditions, reducing medical appointments in clinics and hospitals, and enabling easy exchange of information among healthcare professionals. With recent health safety guidelines due to the COVID-19 pandemic, protecting the elderly has become imperative. However, state-of-the-art health wearable device platforms present limitations in hardware, parameter estimation algorithms, and software architecture. This paper proposes a complete framework for health systems composed of multi-sensor wearable health (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  11
    k-Provability in $$\hbox {PA}$$ PA.Paulo Guilherme Santos & Reinhard Kahle - 2021 - Logica Universalis 15 (4):477-516.
    We study the decidability of k-provability in \—the relation ‘being provable in \ with at most k steps’—and the decidability of the proof-skeleton problem—the problem of deciding if a given formula has a proof that has a given skeleton. The decidability of k-provability for the usual Hilbert-style formalisation of \ is still an open problem, but it is known that the proof-skeleton problem is undecidable for that theory. Using new methods, we present a characterisation of some numbers k for which (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  26
    Aspecto Anatômicos do Desenvolvimento do Fruto de Punica granatum L.B. L. De Morretes & W. R. Monteiro-Scanavacca - 1969 - Boletim da Faculdade de Filosofia, Ciências e Letras, Universidade de São Paulo. Botânica 24:33.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  7
    Variants of Kreisel’s Conjecture on a New Notion of Provability.Paulo Guilherme Santos & Reinhard Kahle - 2021 - Bulletin of Symbolic Logic 27 (4):337-350.
    Kreisel’s conjecture is the statement: if, for all$n\in \mathbb {N}$,$\mathop {\text {PA}} \nolimits \vdash _{k \text { steps}} \varphi (\overline {n})$, then$\mathop {\text {PA}} \nolimits \vdash \forall x.\varphi (x)$. For a theory of arithmeticT, given a recursive functionh,$T \vdash _{\leq h} \varphi $holds if there is a proof of$\varphi $inTwhose code is at most$h(\#\varphi )$. This notion depends on the underlying coding.${P}^h_T(x)$is a predicate for$\vdash _{\leq h}$inT. It is shown that there exist a sentence$\varphi $and a total recursive functionhsuch that$T\vdash (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000